type T<()> = number
